Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
351	Epistemic Logic: : Annotated Bibliography Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-09-12 16:22:28 Reasoning Non-classical logic Logic programming Artificial intelligence Epistemic modal logic Rohit Jivanlal Parikh Common knowledge Non-monotonic logic Modal logic Logic Science Mathematical logic
352	Round Table on Information and Communications Technologies for Innovative Global Freight Transport Systems Enrico Musso Add to Reading List Source URL: internationaltransportforum.org Language: English - Date: 2010-03-15 13:01:04 Road transport Mode of transport Modal logic Modal share Externality Framework Programmes for Research and Technological Development Traffic congestion Transport Sustainable transport Transportation planning
353	Microsoft Word - Checklist to Evaluate Cases.rtf Add to Reading List Source URL: cll.mcmaster.ca Language: English - Date: 2011-12-13 10:58:10 Modal logic Non-classical logic Philosophical logic
354	1 ModDrop: adaptive multi-modal gesture recognition arXiv:1501.00102v1 [cs.CV] 31 Dec 2014 Add to Reading List Source URL: www.uoguelph.ca Language: English - Date: 2015-01-08 21:24:09 Modal logic Non-classical logic Philosophical logic Data fusion Artificial neuron Modality KeY Science Neural networks Logic Multimodal interaction
355	rROM:HULLEY 8rASSOCIATES TO::21:PFROM.Huily Associates TOIf 4097 PCONVERSATfON Add to Reading List Source URL: cdn.mg.co.za Language: English - Date: 2015-04-16 10:15:09 Philosophical logic Algebraic topology Complex analysis Logic Modal logic Non-classical logic
356	PDF Document Add to Reading List Source URL: www.mayfieldmedia.co.uk Language: English - Date: 2014-06-13 03:37:30 Reed Hair Musical theatre Creativity Reed Exhibitions Nutley New Jersey Modal logic
357	Rationality and Common Knowledge Herbert Gintis September 10, Introduction Interactive epistemology is the study of the distribution of knowledge among rational agents, using modal logic in the tradition of Hinti Add to Reading List Source URL: www.umass.edu Language: English - Date: 2009-09-10 13:40:36 Propositional calculus Common knowledge Game theory Knowledge Epistemic modal logic Modal logic Epistemology Entailment Interpretation Logic Mathematical logic Philosophical logic
358	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
359	Dedalus: Datalog in Time and Space Peter Alvaro1, William R. Marczak1 , Neil Conway1 , Joseph M. Hellerstein1 , David Maier2 , and Russell Sears3 1 University of California, Berkeley {palvaro,wrm,nrc,hellerstein}@cs.berk Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-03-05 03:03:32 Science Logic programming Modal logic Predicate Stratification Logic Mathematics Datalog
360	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics

UPDATE